SPIN-ning Software Architectures: A Method for Exploring Complex
نویسندگان
چکیده
When designing complex systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. This paper describes a method for automatically and quickly identifying all the different ways one can compose such designs, with the aid of a model checker.
منابع مشابه
SPIN-ning Software Architectures: A Method for Exploring Complex Systems
When designing complex systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. This paper describes a method for automatically and quickly identifying all the different ways one can compose such designs, with the aid of a model checker.
متن کاملExtending and adapting the architecture tradeoff analysis method for the evaluation of software reference architectures
A software reference architecture is a generic architecture for a class of software systems that is used as a foundation for the design of concrete architectures from this class. The growing complexity of software systems increases the importance of reference architectures in the design process. Because of their fundamental role in the design of complex systems, reference architectures have to ...
متن کاملCAD tool for hardware software co-synthesis of heterogeneous multiple processor embedded architectures
Hardware software co-synthesis process intends to determine an optimal architecture for an embedded application specified by a task graph or a specification language. In this paper, we present a cosynthesis approach targeting MPSoCs and distributed memory multiprocessor architectures for high performance embedded applications. Our co-synthesis approach produces pipelined multiprocessor architec...
متن کاملVerifying Scr Requirements Speciications Using State Exploration
Researchers at the Naval Research Laboratory (NRL) have been developing a formal method, known as the SCR (Software Cost Reduction) method, to specify the requirements of software systems using tables. NRL has developed a formal state machine model de ning the SCR semantics and support tools for analysis and validation. Recently, a veri cation capability was added to the SCR toolset. Users can ...
متن کاملReliability and Performance Evaluation of Fault-aware Routing Methods for Network-on-Chip Architectures (RESEARCH NOTE)
Nowadays, faults and failures are increasing especially in complex systems such as Network-on-Chip (NoC) based Systems-on-a-Chip due to the increasing susceptibility and decreasing feature sizes. On the other hand, fault-tolerant routing algorithms have an evident effect on tolerating permanent faults and improving the reliability of a Network-on-Chip based system. This paper presents reliabili...
متن کامل